Entretien avec Xavier Vigna

Entretien avec Ken Whistler, directeur technique du consortium Unicode

Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...

Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...

Xavier Daura 2 , Alan

30epartment of Biophysical Chemistry, University of Groningen, Nijenborgh 4 9747 AG, Groningen, The Netherlands A principal component analysis has been applied on equilibrium simulations of a p-heptapeptide that shows reversibIe folding in a methanol solution. The analysis shows that the configurational space contains only three dense sub-states. These states of relatively low tree energy corre...

Lessons learned from Xavier

Mathematical Logic Xavier

In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowsk...